Beyond Bowen’s Specification Property
نویسندگان
چکیده
A classical result in thermodynamic formalism is that for uniformly hyperbolic systems, every Hölder continuous potential has a unique equilibrium state. One proof of this fact due to Rufus Bowen and uses the such systems satisfy expansivity specification properties. In these notes, we survey recent progress generalizations properties extend Bowen’s arguments beyond uniform hyperbolicity, including applications partially geodesic flows negative curvature. We include new criterion uniqueness states with 1-dimensional center.
منابع مشابه
Equilibrium states beyond specification and the Bowen property
It is well-known that for expansive maps and continuous potential functions, the specification property (for the map) and the Bowen property (for the potential) together imply the existence of a unique equilibrium state. We consider symbolic spaces that may not have specification, and potentials that may not have the Bowen property, and give conditions under which uniqueness of the equilibrium ...
متن کاملDiffeomorphisms Satisfying the Specification Property
Let f be a diffeomorphism of a closed C∞ manifold M . In this paper, we introduce the notion of the C1-stable specification property for a closed f -invariant set Λ of M , and we prove that f|Λ satisfies a C 1-stable specification property if and only if Λ is a hyperbolic elementary set. As a corollary, the C1-interior of the set of diffeomorphisms of M satisfying the specification property is ...
متن کاملA Property Specification Language for Workflow Diagnostics
The paper presents a declarative language for workflow property specification. The language has been developed to help analysts in formulating workflow-log properties in such a way that the properties can be checked automatically. The language is based on the Propositional Linear Temporal Logics and the structure of logs. The standard structure of logs is used when building algorithms for prope...
متن کاملEnhanced Property Specification and Verification in BLAST
Model checking tools based on the iterative refinement of predicate abstraction (e.g., Slam and Blast) often feature a specification language for expressing complex behavior rules. The source code under verification is instrumented by artificial variables and statements in order to transform the problem of checking such a rule into the problem of program location reachability. This way, the sou...
متن کاملExpressing Property Specification Patterns with OCL
The textual Object Constraint Language (OCL) is an official part of the Unified Modeling Language (UML). OCL is primarily used to formulate restrictions over UML models, in particular, invariants and operation preand postconditions in the context of class diagrams. However, OCL is missing means to specify constraints over the dynamic behavior of a UML model. We have therefore developed a tempor...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Lecture Notes in Mathematics
سال: 2021
ISSN: ['1617-9692', '0075-8434']
DOI: https://doi.org/10.1007/978-3-030-74863-0_1